A Generalization of Watts’s Theorem: Right Exact Functors on Module Categories
نویسندگان
چکیده
Watts’s Theorem says that a right exact functor F : ModR → ModS that commutes with direct sums is isomorphic to − ⊗R B where B is the R-S-bimodule FR. The main result in this paper is the following: if A is a cocomplete category and F : ModR→ A is a right exact functor commuting with direct sums, then F is isomorphic to − ⊗R F where F is a suitable R-module in A, i.e., a pair (F , ρ) consisting of an object F ∈ A and a ring homomorphism ρ : R→ HomA(F ,F). Part of the point is to give meaning to the notation − ⊗R F . That is done in the paper by Artin and Zhang [1] on Abstract Hilbert Schemes. The present paper is a natural extension of some of the ideas in the first part of their paper.
منابع مشابه
Quasi-Frobenius functors with application to corings
Müller generalized in [12] the notion of a Frobenius extension to left (right) quasi-Frobenius extension and proved the endomorphism ring theorem for these extensions. Recently, Guo observed in [9] that for a ring homomorphism φ : R → S, the restriction of scalars functor has to induction functor S ⊗R − : RM → SM as right ”quasi” adjoint if and only if φ is a left quasi-Frobenius extension. In ...
متن کاملVanishing of Ext-Functors and Faltings’ Annihilator Theorem for relative Cohen-Macaulay modules
et be a commutative Noetherian ring, and two ideals of and a finite -module. In this paper, we have studied the vanishing and relative Cohen-Macaulyness of the functor for relative Cohen-Macauly filtered modules with respect to the ideal (RCMF). We have shown that the for relative Cohen-Macaulay modules holds for any relative Cohen-Macauly module with respect to with ........
متن کاملQf Functors and (co)monads
One reason for the universal interest in Frobenius algebras is that their characterisation can be formulated in arbitrary categories: a functor K : A → B between categories is Frobenius if there exists a functor G : B → A which is at the same time a right and left adjoint of K; a monad F on A is a Frobenius monad provided the forgetful functor AF → A is a Frobenius functor, where AF denotes the...
متن کاملExtension functors of local cohomology modules
Let $R$ be a commutative Noetherian ring with non-zero identity, $fa$ an ideal of $R$, and $X$ an $R$--module. Here, for fixed integers $s, t$ and a finite $fa$--torsion $R$--module $N$, we first study the membership of $Ext^{s+t}_{R}(N, X)$ and $Ext^{s}_{R}(N, H^{t}_{fa}(X))$ in the Serre subcategories of the category of $R$--modules. Then, we present some conditions which ensure the exi...
متن کاملOn descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کامل